Chinese translation for "first order predicate calculus"

一阶谓词演算

Related Translations:

predicated:  断言的断定的

predicate:  n.1.【语法】谓语，述语。2.【逻辑学】谓项，述项，述词，宾词。3.本质；属性。adj.谓语的，述语的；谓项的，述项的。vt.1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言，宣布，声明。4.意味着，具有…的含义。5.【语法】表述。vi.断言 (of)。 Can

predicates:  谓词

predicate noun:  谓语性名词

diophantine predicate:  刁番图谓词

analytic predicate:  解析谓词

actional predicate:  动作谓语

predicate calculu:  谓词演算

compound predicate:  复合谓语

factive predicate:  叙述性谓词

Similar Words：

"first order phase locked loop" Chinese translation, "first order phase transformation" Chinese translation, "first order phase transition" Chinese translation, "first order pll" Chinese translation, "first order pole" Chinese translation, "first order predicate logic" Chinese translation, "first order pressure gradient microphone" Chinese translation, "first order prism" Chinese translation, "first order rate process" Chinese translation, "first order reaction" Chinese translation